Ontologies for Reasoning about Failures in AI Systems
نویسندگان
چکیده
Brittleness is a common problem among AI systems. Autonomous systems, including those that learn, may be faced with unanticipated situations that cause decreased performance, or in the worstcase, catastrophic failures from which the system cannot recover. In this paper, we describe a construct called the metacognitive loop (MCL) that allows AI systems to monitor their own behavior, generate expectations about their own progress and performance, and verify that they are met. When expectations are violated, the metacognitive loop attempts to reason in a domain-general way about why expectations were not met and how to recover. The basis for reasoning is a set of ontologies that encode abstract diagnosic and prescriptive processes for coping with failures.diagnosic and prescriptive processes for coping with failures.
منابع مشابه
What Are Ontologies , and Why Do We Need Them ?
THEORIES IN AI FALL INTO TWO broad categories: mechanism theories and content theories. Ontologies are content theories about the sorts of objects, properties of objects, and relations between objects that are possible in a specified domain of knowledge. They provide potential terms for describing our knowledge about the domain. In this article, we survey the recent development of the field of ...
متن کاملAIM: a personal view of where I have been and where we might be going
My own career in medical informatics and AI in medicine has oscillated between concerns with medical records and concerns with knowledge representation with decision support as a pivotal integrating issue. It has focused on using AI to organise information and reduce 'muddle' and improve the user interfaces to produce 'useful and usable systems' to help doctors with a 'humanly impossible task'....
متن کاملToward Domain-Neutral Human-Level Metacognition
We have found that implementing a metacognitive loop (MCL), which gives intelligent systems the ability to selfmonitor their ongoing performance and make targeted changes to their various action-determining components, can play an important role in helping systems cope with the unexpected problems and events that are the inevitable result of real-world deployment. In this paper, we discuss our ...
متن کاملActions and Programs over Description Logic Ontologies
We aim at representing and reasoning about actions and (high level) programs over ontologies expressed in Description Logics. This is a critical issue that has resisted good solutions for a long time. In particular, while well-developed theories of actions and high-level programs exist in AI, e.g., the ones based on SitCalc, these theories do not apply smoothly to Description Logic ontologies, ...
متن کاملOn Repairing Reasoning Reversals via Representational Refinements
Representation is a fluent. A mismatch between the real world and an agent’s representation of it can be signalled by unexpected failures (or successes) of the agent’s reasoning. The ‘real world’ may include the ontologies of other agents. Such mismatches can be repaired by refining or abstracting an agent’s ontology. These refinements or abstractions may not be limited to changes of belief, bu...
متن کامل